$\forall$$i$:Id, $k$:Knd, $L$:Id List. @$i$: $k$ writes only members of $L$ $\Vdash$ ${\it es}$.@$i$: $k$ affects only $L$